Principe de substitution de Liskov

Le principe de substitution de Liskov (LSP) est, en programmation orientée objet, une définition particulière de la notion de sous-type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé Family Values: A Behavioral Notion of Subtyping^[1] :

Liskov et Wing en ont proposé la formulation condensée suivante^[2] :

Si ${\displaystyle q(x)}$ est une propriété démontrable pour tout objet ${\displaystyle x}$ de type ${\displaystyle T}$, alors ${\displaystyle q(y)}$ est vraie pour tout objet ${\displaystyle y}$ de type ${\displaystyle S}$ tel que ${\displaystyle S}$ est un sous-type de ${\displaystyle T}$.